A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
U-CAN: Unsupervised Point Cloud Denoising with Consistency-Aware Noise2Noise Matching
arxiv.orgยท1d
๐Riemannian Computing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
[P] I build a model to visualise live collision risk predictions for London from historical TFL data
๐Count-Min Sketch
Flag this post
CAD-3D on the Atari ST
๐น๏ธRetro Gaming
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
How to Convert Cubic Bรฉzier Curves into Euler Spirals for GPU Optimization
hackernoon.comยท1d
๐Computational Geometry
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
๐ฃ๏ธDomain-Specific Languages
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.orgยท16h
๐งฎKolmogorov Complexity
Flag this post
Estimating the Perceived 'Claustrophobia' of New York City's Streets
๐Count-Min Sketch
Flag this post
Wasserstein Regression as a Variational Approximation of Probabilistic Trajectories through the Bernstein Basis
arxiv.orgยท16h
๐Differential Geometry
Flag this post
All You Need for Object Detection: From Pixels, Points, and Prompts to Next-Gen Fusion and Multimodal LLMs/VLMs in Autonomous Vehicles
arxiv.orgยท16h
๐คAdvanced OCR
Flag this post
Autonomous Semantic Change Detection in Urban Environments Using Multi-Sensor LiDAR Data Fusion and Deep Learning
๐บComputational Archaeology
Flag this post
Loading...Loading more...